sum_(n=1)^infty ( sin^2(n)/n )